modal logic - PDFSEARCH.IO - Document Search Engine

modal logic
Results: 1643

#	Item
451	A verificationist modal language for contextual computations Giuseppe Primiero FWO - Research Foundation Flanders Centre for Logic and Philosophy of Science, Ghent University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-06-25 06:58:58 Non-classical logic Valuation Interpretation Logic Philosophical logic Modal logic
452	Modelling Abduction in Science by means of a Modal Adaptive Logic Tjerk Gauderis∗ Centre for Logic and Philosophy of Science Ghent University, Blandijnberg 2, 9000 Gent, Belgium [removed] Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-12-06 10:49:17 Philosophical logic Model theory Epistemology Charles Sanders Peirce Abductive reasoning First-order logic Inference Modal logic Propositional calculus Logic Mathematical logic Reasoning
453	An Andersonian Deontic Logic with Contextualized Sanctions M. Beirlaen and C. Straßer Centre for Logic and Philosophy of Science Ghent University, Belgium {Mathieu.Beirlaen, [removed]} Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-06-07 12:41:38 Mathematics Science Mathematical logic Modal logic Logic Deontic logic
454	αKanren A Fresh Name in Nominal Logic Programming William E. Byrd and Daniel P. Friedman Department of Computer Science, Indiana University, Bloomington, IN 47408 {webyrd,dfried}@cs.indiana.edu Add to Reading List Source URL: webyrd.net Language: English - Date: 2013-12-02 09:16:22 Models of computation Admissible rule Modal logic Symbol Lambda calculus Unification Structure Mathematical logic Mathematics Logic
455	Diagramming the Common \| Patricia Reed Diagramming the Common Patricia Reed Lecture, not for citation. April 23, 2014 Add to Reading List Source URL: www.aestheticmanagement.com Language: English - Date: 2014-09-27 09:13:19 Knowledge Modal logic Non-classical logic Philosophical logic Reason Anticipation Interdisciplinary fields Science Logic
456	Variable force modality in Washo Ryan Bochnak ∼ UC Berkeley This paper contributes to a recent and growing body of literature concerning the analysis of apparently variable force modals across languages (Deal 2011 for Add to Reading List Source URL: nels45.mit.edu Language: English - Date: 2014-10-28 01:11:41 Grammar Grammatical moods Philosophical logic Non-classical logic Linguistic modality Modal verb Epistemic modality Possible world Evidentiality Logic Linguistics Modal logic
457	Automatic Solving of Problems stated in Natural Language Tore Amble Knowledge Systems Group Faculty of Electrical Engineering and Computer Science The Norwegian Institute of Technology Add to Reading List Source URL: www.nik.no Language: English - Date: 2002-05-08 04:36:03 Formal systems Model theory Propositional calculus Boolean algebra Modal logic Resolution Common knowledge Axiomatic system Constructible universe Logic Mathematical logic Mathematics
458	The Semantics of Untrustworthiness Giuseppe Primiero & Laszlo Kosolosky Centre for Logic and Philosophy of Science Ghent University, Belgium Abstract We offer a formal treatment of the semantics of both complete and Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-04-26 09:39:32 Information Philosophical logic Mathematical logic Model theory Communication Modal logic Finitary relation Code Interpretation Logic Data transmission Science
459	Chapter 1 Abduction of Multiple Explanatory Hypotheses 1 Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-12-06 10:43:53 Reasoning Epistemology Charles Sanders Peirce Logical consequence Abductive reasoning Defeasible reasoning Entailment Modal logic Scientific method Logic Science Philosophical logic
460	Distrust and Mistrust for Privatively and Modally qualified Information Channels Giuseppe Primiero (joint work with Laszlo Kosolosky) FWO - Research Foundation Flanders Centre for Logic and Philosophy of Science, Ghent U Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-03-27 07:02:53 Accountability Reputation management Behavior Distrust Mistrust Trust Primiero Modal logic Ghent Ethics Sociology Social psychology

UPDATE